On the Monad of Internal Groupoids
نویسنده
چکیده
We deeply analyse the structural organisation of the fibration of points and of the monad of internal groupoids. From that we derive: 1) a new characterization of internal groupoids among reflexive graphs in the Mal’cev context; 2) a setting in which a Mal’cev category is necessarily a protomodular category.
منابع مشابه
A History of Selected Topics in Categorical Algebra I: From Galois Theory to Abstract Commutators and Internal Groupoids
This paper is a chronological survey, with no proofs, of a direction in categorical algebra, which is based on categorical Galois theory and involves generalized central extensions, commutators, and internal groupoids in Barr exact Mal’tsev and more general categories. Galois theory proposes a notion of central extension, and motivates the study of internal groupoids, which is then used as an a...
متن کاملMonads with arities and their associated theories
After a review of the concept of ‘‘monad with arities’’ we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere’s algebraic theories to a general correspondence between monads and theories for a given category with arities. As an application we determine arities for the free gro...
متن کاملOn Prime and Semiprime Ideals in Ordered AG-Groupoids
The aim of this short note is to introduce the concepts of prime and semiprime ideals in ordered AG-groupoids with left identity. These concepts are related to the concepts of quasi-prime and quasi-semiprime ideals, play an important role in studying the structure of ordered AG-groupoids, so it seems to be interesting to study them.
متن کاملActions of vector groupoids
In this work we deal with actions of vector groupoid which is a new concept in the literature. After we give the definition of the action of a vector groupoid on a vector space, we obtain some results related to actions of vector groupoids. We also apply some characterizations of the category and groupoid theory to vector groupoids. As the second part of the work, we define the notion...
متن کاملCrossed squares, crossed modules over groupoids and cat$^{bf {1-2}}-$groupoids
The aim of this paper is to introduce the notion of cat$^{bf {1}}-$groupoids which are the groupoid version of cat$^{bf {1}}-$groups and to prove the categorical equivalence between crossed modules over groupoids and cat$^{bf {1}}-$groupoids. In section 4 we introduce the notions of crossed squares over groupoids and of cat$^{bf {2}}-$groupoids, and then we show their categories are equivalent....
متن کامل